Formal Specification of UML Requirement Models
نویسندگان
چکیده
The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The use of UML encourages software developers to devote more effort on requirement analysis and modeling to produce better software products. The most important models to produce in an object-oriented requirement analysis are a conceptual class models and a use-case models. This paper proposes a method to combine these two models by using a classic transition system. Then we can reason about and refine such systems with well established methods and tools.
منابع مشابه
Transformation of Class Diagrams into Formal Specification
Requirements analysis and design specification is a serious issue in software engineering because of semantics involved in the transformation of real world problems to computational models. Unified Modeling Language (UML) has been accepted as a standard for design and development of object oriented systems. Unfortunately, most of UML structures are based on graphical notations and are prone to ...
متن کاملFormal Specification of Real-Time Systems by Transformation of UML-RT Design Models
We are motivated to complement our methodology by integrating collaboration diagrams to facilitate the specification of capsules in UML-RT design models. An improved systematic transformation method to derive a correct and complete formal system specification of real-time systems is established. This article aims at integrating temporal requirements in the design stage of the life cycle of a re...
متن کاملState Based Static and Dynamic Formal Analysis of UML State Diagrams
Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML) has been accepted as a de facto standard for design and specification of object oriented systems. Unfortunately, UML structures lack defining semantics of a system. Formal methods are proved po...
متن کاملGenerating Maude Specifications From UML Use Case Diagrams
This paper presents a systematic approach supporting the translation of UML use case diagrams, describing the functional requirements of a system, into a Maude formal specification. The proposed approach also considers the static and dynamic features of object-oriented systems. The formal and object-oriented language Maude, based on rewriting logic, supports formal specification and programming...
متن کاملA Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification
When a semi-formal language (like UML-RT) and a formal specification language (like CSP+T) are combined to obtain a Real-Time System (RTS) software specification, it is important to ensure the possibility of verifying the derived system design. A formal semantics of CSP+T temporal operators in terms of CSP trace semantics is presented here, and also a compositional refinement of CSP+T process t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002